Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | USA |
|---|---|
| Ort | Pittsburgh |
| Universität/Institution | Carnegie Mellon University |
| Institut/Abteilung | School of Computer Science |
Profil
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre,Theoretische Philosophie |
|---|---|
| Keywords | Logik in der Informatik, Informationssicherheit, Programmiersprachen, Typtheorie, Automatisches Beweisen |